Action(dec) == Unit + (k:Knd  (dec(k))) 

latex

Definitions	left + right, Unit, x:A  B(x), Knd, f(a)
FDL editor aliases	action